Merge pull request #1793 from marex/arm/master/fixes-v2.0.0
authorAntonio Niño Díaz <[email protected]>
Thu, 31 Jan 2019 10:22:36 +0000 (10:22 +0000)
committerGitHub <[email protected]>
Thu, 31 Jan 2019 10:22:36 +0000 (10:22 +0000)
Arm/master/fixes v2.0.0


Trivial merge